cmconfig-list(x) == case x of config(list) => list seq(from,to,num) =>  

latex

Definitions	case x of config(list) => config(list) seq(from,to,num) => seq(from;to;num),
FDL editor aliases	cmconfig-list